1. Between logic and intuition :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.

رده :
QA9
.
A5
B489
2000

2. Computability and Logic

پدیدآورنده :

کتابخانه: (طهران)

3. Computability and logic

پدیدآورنده :

کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.

رده :
QA
9
.
59
.
B6C6

4. Computability and logic

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
QA9
.
59
.
B66
2002

5. Computability and logic

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
E-BOOK

6. Computability and logic

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Recursive functions,Logic, symbolic and mathematical

رده :
511
.
3
B724c

7. Computability and logic

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)

موضوع : Computable functions,Recursive functions

رده :
511
.
3
B724C

8. Computability and logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
B66C6

9. Computability and logic.

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Computable functions,Electronic books. , local

رده :
E-BOOK

10. Computability and logic

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;

11. Computability and logic

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
QA9
.
59
.
B66
2002

12. Computability and logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
B66C6
1989

13. Computability and logic

پدیدآورنده :

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical,، Computable functions

۵ نسخه از این کتاب در ۵ کتابخانه موجود است.

14. Logic, Logic and Logic

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)

موضوع : Arabic imprin%

رده :
BC
51
.
B58
1998

15. Logic, Logic, and logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic

رده :
BC
51
.
B6

16. Logic, logic, and logic /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic.

رده :
BC51
.
B58
1998

17. Logic, logic, and logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic

رده :
BC
51
.
B58
1998

18. Logic, logic, and logic

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع : ، Logic

رده :
BC51
.
B58
1998

19. Logic,logic,and logic

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
BC
51
.
B6
L6
1998

20. Logic, logic, and logic

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Logic

رده :
160
B724L
1998